-
1 проверка адекватности модели
Русско-английский словарь по вычислительной технике и программированию > проверка адекватности модели
-
2 верификация (проверка)
верификация (проверка)
1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы computer system verification Процесс, имеющий целью обеспечить, чтобы данный этап в жизненном цикле системы удовлетворял требованиям, введенным на предыдущем этапе. верификация модели model verification Процесс, имеющий целью определить, правильно ли отображает данная вычислительная модель искомую концептуальную модель или математическую модель. Верификация системного кода system code verification Анализ кодирования источника на предмет его соответствия описанию в документации системного кода. 2. Подтверждение на основе объективных свидетельств того, что установленные требования были выполнены. См. валидация (аттестация). Соответствующий статус – ‘верифицировано’. Верификация может включать такие операции, как: осуществление альтернативных расчетов; сравнение научной и технической документации по новому проекту с аналогичной документацией по апробированному проекту; проведение испытаний и демонстраций; и анализ документов до их выпуска.
[Глоссарий МАГАТЭ по вопросам безопасности]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (проверка)
-
3 верификация модели
верификация модели
Проверка ее истинности, адекватности. В отношении к дескриптивным моделям В. м. сводится к сопоставлению расчетных результатов по модели с соответствующими данными действительности — массовыми фактами и закономерностями экономического развития. В отношении же нормативных (в том числе оптимизационных) моделей положение сложнее: в условиях действующего экономического механизма моделируемый объект подвергается различным управляющим воздействиям, не предусмотренным моделью; надо ставить специальный экономический эксперимент с учетом требований чистоты, т.е. устранения влияния этих воздействий, что представляет собой трудную, во многом еще не решенную задачу. Верификация имитационной модели есть проверка соответствия ее поведения предположениям экспериментатора (см. Машинная имитация). Когда модель организована в вычислительную программу для компьютера, то сначала, как обычно, исправляют ошибки в ее записи на алгоритмическом языке, а затем переходят к верификации. Это первый этап действительной подготовки к имитационному эксперименту. Подбираются некоторые исходные данные, для которых могут быть предсказаны результаты просчета. Если окажется, что компьютер выдает данные, противоречащие тем, которые ожидались при формировании модели, значит, модель неверна. В обратном случае переходят к следующему этапу проверки работоспособности модели — ее валидации.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация модели
-
4 проверка адекватности модели
Русско-английский большой базовый словарь > проверка адекватности модели
-
5 выборочная проверка
Русско-английский новый политехнический словарь > выборочная проверка
-
6 автоматическая проверка
1. automatic check2. mechanical verificationРусско-английский большой базовый словарь > автоматическая проверка
-
7 верификация модели
1) Programming: model checking2) Makarov: model verificationУниверсальный русско-английский словарь > верификация модели
-
8 верификация динамической модели
Robots: dynamic model verificationУниверсальный русско-английский словарь > верификация динамической модели
-
9 верификация модели проекта
Management: model verificationУниверсальный русско-английский словарь > верификация модели проекта
-
10 проверка адекватности динамической модели
Robots: dynamic model verificationУниверсальный русско-английский словарь > проверка адекватности динамической модели
-
11 проверка адекватности модели
Information technology: model verificationУниверсальный русско-английский словарь > проверка адекватности модели
-
12 верификация по твердотельным моделям
Русско-английский словарь по машиностроению > верификация по твердотельным моделям
-
13 пространственная верификация
Русско-английский словарь по машиностроению > пространственная верификация
-
14 проверка соблюдения конвенции
Русско-английский военно-политический словарь > проверка соблюдения конвенции
-
15 проверка
control, audit, check, checking, checkout, collation, gaging, inspection, test, testing, proof, prove-out, verification* * *прове́рка ж.
( испытание) check, test; ( осмотр) examination, inspectionпрове́рка выполня́ется ( проверка подтверждает правильность решения) мат. — the check is satisfiedпроводи́ть прове́рку — do [carry out, perform] a testвы́борочная прове́рка — random inspection, spot checkпрове́рка гипо́тезы стат. — testing of a hypothesis, hypothesis testingпрове́рка за́нятости свз. — busy test, test for the engaged conditionинспекцио́нная прове́рка — technical inspectionце́лью инспекцио́нной прове́рки явля́ется прове́рка ка́чества техобслу́живания, веде́ния техдокумента́ции и о́бщего состоя́ния материа́льной ча́сти — technical inspection checks the quality of maintenance, completeness of records and overall condition of the materialпрове́рка моде́ли на адеква́тность объе́кту модели́рования — validation [test] of a model for adequacyпрове́рка на за́нятость тлф. — busy [engaged] testпрове́рка на нали́чие оши́бок вчт. — error checkпрове́рка на нечё́тность вчт. — odd-parity checkпрове́рка на пло́тность [герметиза́цию] — leak checkпрове́рка на чё́тность вчт. — even parity checkпрове́рка на просве́т ( перфокарт) — sight checkнеуда́чная прове́рка — failure of a checkпрове́рка подстано́вкой — check by substitutionпрове́рка прохожде́ния сигна́лов радио — signal tracingпрове́рка рабо́ты — functional checkпрове́рка расхо́да то́плива — fuel-consumption test, fuel-consumption trialпрове́рка режи́ма рабо́ты — performance testэксперимента́льная прове́рка — experimental checkэпизоди́ческая прове́рка — casual inspection* * * -
16 приемочные испытания
1. acceptance trials2. official testпрофессиональные испытания, проверка мастерства — trade test
лабораторные испытания; лабораторная проба — laboratory test
3. reception test4. verification and validationРусско-английский большой базовый словарь > приемочные испытания
-
17 проверка координат места летательного аппарата
Авиация и космонавтика. Русско-английский словарь > проверка координат места летательного аппарата
См. также в других словарях:
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Model-based design — (MBD) is a mathematical and visual method of addressing problems associated with designing complex control,[1][2] signal processing[3] and communication systems. It is used in many motion control, industrial equipment, aerospace, and automotive… … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
Verification of employment — (VOE) is a process used by banks and mortgage lenders in the United States to review the employment history of a borrower, to determine the borrower s job stability and cross reference income history with that stated on the Uniform Residential… … Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Verification and Validation (software) — In software project management, software testing, and software engineering, Verification and Validation (V V) is the process of checking that a software system meets specifications and that it fulfils its intended purpose. It is normally part of… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Model based design — The dawn of the electrical age brought with it various novel, innovative and advanced control systems. It was as early as 1920 s when the two strands of technology, control theory and control system, came together to produce large scale… … Wikipedia
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
